perm filename ELEPHA.SUM[E81,JMC] blob sn#603966 filedate 1981-08-03 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	elepha.sum[e81,jmc]	Summary of Elephant paper for POPL
C00003 ENDMK
CāŠ—;
elepha.sum[e81,jmc]	Summary of Elephant paper for POPL

Outline
1. elephant as a formalism for practical program proving

2. value of standard logical formalisms
	compatibility with mathematical formalisms
	computer checked proofs are available

3. sequential elephant

4. what has to be proved

5. relation to recursive formalism (state vector formalisms?)

6. historical elephant

7. equivalence of programs

8. parallel programs

9. recursive programs and subroutine call

10. futuristic programs